Die Eigenschaften von Thyroglobulin. 5. Mitt.: Die Eigenschaften von denaturierten Thyroglobulin

Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume

In this paper we exposit some as yet unpublished results of Harvey Friedman. These results provide the most dramatic examples so far known of mathematically meaningful theorems of finite combinatorics which are unprovable in certain logical systems. The relevant logical systems, A T R o and I I l C A o , are well known as relatively strong fragments of second order arithmetic. The unprovable co...

Reengineering von Software-Komponenten zur Vorhersage von Dienstgüte-Eigenschaften

Die Verwendung von Komponenten ist ein anerkanntes Prinzip in der Software-Entwicklung. Dabei werden Software-Komponenten zumeist als Black-Boxes aufgefasst [1], deren Interna vor einem KomponentenVerwender verborgen sind. Zahlreiche ArchitekturAnalyse-Verfahren, insbesondere solche zur Vorhersage von nicht-funktionalen Eigenschaften, benötigen jedoch Informationen über Interna (bspw. die Anzah...

Die Leitwarte von heute verstehen - die Leitwarte von morgen gestalten!

In diesem Beitrag wird eine domänenübergreifende Nutzungskontextanalyse vorgestellt, vor dem Hintergrund der Herausforderung einer stetig ansteigenden Komplexität der Mensch-MaschineSchnittstelle in der Arbeitsumgebung von Leitwartenoperatoren. Die mittels teilnehmender Beobachtung und teilstrukturierten Interviews durchgeführte Erhebung in Leitwarten hatte die Zielsetzung Gemeinsamkeiten in Be...

Die Bedeutung von nationaler Kultur für die Gestaltung von Informationssystemen

Bestimmung der semantischen Eigenschaften von Datenstromsystemen durch Black-Box-Tests

Die Semantik von Datenstromsystemen (DSS) ist bislang nicht standardisiert. Für Anwendungsentwickler ist es jedoch wichtig zu wissen, wie sich ein bestimmtes System in einer bestimmten Situation verhält. Ebenso bedeutsam ist das Verhalten für föderierte Datenstromsysteme, die Anfragen automatisch auf verschiedene DSS verteilen. Als Hilfsmittel zur Beschreibung können semantische Modelle dienen....